perm filename HELP[1,JRA] blob sn#005884 filedate 1972-09-15 generic text, type T, neo UTF8
00100	∀(X1 X2)∃(X3)∀(X4)(SET(X4)→(ELEMENT(X4,X3)↔(ELEMENT(X4,X1)∧
00200	ELEMENT(X4,X2))));
00300	
00400	∀(X1)∃(X2)∀(X3)(SET(X3)→(ELEMENT(X3,X2)↔(¬ELEMENT(X3,X1))));;
00500	
00600	;
00700	
00800	∃(X1)∀(X2)(SET(X2)→(¬ELEMENT(X2,X1)));;